Analysing the Information Flow Properties of Object-Capability Patterns

Analysing the security properties of object-capability patterns

Analysing Object-Capability Security

Much of the power and utility of modern computing arises in the different forms of cooperation that it enables. However, today this power comes with great risk because those engaged in cooperation are left vulnerable to one another. The Object-Capability (OCap) Model is a promising remedy, because it enables the creation of security-enforcing abstractions, or patterns, that can be composed with...

Using a Novel Concept of Potential Pixel Energy for Object Tracking

Abstract   In this paper, we propose a new method for kernel based object tracking which tracks the complete non rigid object. Definition the union image blob and mapping it to a new representation which we named as potential pixels matrix are the main part of tracking algorithm. The union image blob is constructed by expanding the previous object region based on the histogram feature. The pote...

Analysing Object-Capability Patterns With Murφ

Object Capability (OCap) patterns can be used to enforce the principle of least authority. However, despite the popularity and promise of OCap patterns, these patterns have not been sufficiently analyzed or verified. We analyze several OCap patterns using the Murφ verification tool and confirm the utility of our model by finding previously known vulnerabilities. Because these vulnerabilities we...

Experimental Results of Pressure Fluctuations in a Water Conduit Section Due to Formation of Unstable Two-Phase Air-Water Flow

The study of two-phase fluid flow behavior in hydraulic structures such as pressurized flow tunnels, culverts, sewer pipes, junctions and other similar conduits is of great importance. A two-phase mixture flowing in a pipe can exhibit several interfacial geometries such as bubbles, slugs or films, depending on the fluid and hydrodynamic properties of flow. The main variables, giving rise to a v...